perm filename PUZZ.DDG[ESS,JMC] blob sn#544048 filedate 1980-10-24 generic text, type T, neo UTF8
Here is the solution to your puzzle of last night:  Let  p(n) be the
position  mod n  of the person who should be in the  n th place and
let  r(n)  be the amount the table must be rotated to bring him to
his correct place - all assuming  N  people numbered  0,1,...,N-1.
Unless the  N  r(n)'s  are precisely the  N  numbers  0,1,...,N-1,
rotating by the missing number will bring everyone to the wrong place.
If they are, then adding up the  N  congruences  p(n) + r(n) ≡ n (mod N),
each expressing that rotating the table by  r(n)  will bring the
person who should be at position  n  from position  p(n) to that position,
gives the congruence  (N↑2-N)/2 + (N↑2-N)/2 ≡ (N↑2-N)/2 mod N.
since the first summands, the second summands and the right hand sides
each form the set {0,1,...,N-1}.  Setting  N = 2K gives a left side
congruent to zero and a right side congruent to K.  This shows that
the  r(n)'s  cannot be all different, and so there must be a rotation
putting everyone in the wrong place.

	If  N  is odd, then setting  p(n) = -n, i.e. reversing the
order of the guests produces a configuration in which any rotation
puts some guest in the right position, because then  r(n) = 2n, and
since  2  and  N  are relatively prime, the  2n  are again a complete
set of residues.  The only remaining question is what other suitable
configurations exist in the odd case.